1. Automated Reasoning with Analytic Tableaux and Related Methods
Author: \ Hans De Nivelle (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
Classification :
QA
76
.
9
.
A96
2015
E-Book
,
2. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
3. Automated theorem proving in software engineering
Author: Schumann, Johann M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Software engineering,، Automatic theorem proving
Classification :
QA
76
.
758
.
S38
2001
4. Automated theorem proving in software engineering
Author: Johann M. Schumann ; foreword by Donald Loveland,Title
Library: (Mazandaran)
Subject: Software engineering,Automatic theorem proving
Classification :
QA
.
S38
76
.
758
2001
5. Automated theorem proving in software engineering
Author: Johann M. Schumann ; foreword by Donald Loveland.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Génie logiciel.,Software engineering.
6. Automated theorem proving in software engineering
Author: / Johann M. Schumann
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Software engineering,Automatic theorem proving
Classification :
QA
76
.
758
.
S38
2001
